IBubbleSort-full-FwBad-Nondet

solved t/o mem limit <10s queued
83% 0% 17% 67% 0%
2998 1 601 2414 0
⊇ armcNFA_inclTest_45.vtf armcNFA_inclTest_5.vtf armcNFA_inclTest_10.vtf armcNFA_inclTest_8.vtf armcNFA_inclTest_15.vtf armcNFA_inclTest_40.vtf armcNFA_inclTest_13.vtf armcNFA_inclTest_51.vtf armcNFA_inclTest_19.vtf armcNFA_inclTest_28.vtf armcNFA_inclTest_36.vtf armcNFA_inclTest_46.vtf armcNFA_inclTest_22.vtf armcNFA_inclTest_54.vtf armcNFA_inclTest_32.vtf armcNFA_inclTest_53.vtf armcNFA_inclTest_0.vtf armcNFA_inclTest_14.vtf armcNFA_inclTest_23.vtf armcNFA_inclTest_21.vtf armcNFA_inclTest_59.vtf armcNFA_inclTest_2.vtf armcNFA_inclTest_42.vtf armcNFA_inclTest_58.vtf armcNFA_inclTest_4.vtf armcNFA_inclTest_49.vtf armcNFA_inclTest_39.vtf armcNFA_inclTest_26.vtf armcNFA_inclTest_7.vtf armcNFA_inclTest_25.vtf armcNFA_inclTest_41.vtf armcNFA_inclTest_55.vtf armcNFA_inclTest_57.vtf armcNFA_inclTest_11.vtf armcNFA_inclTest_48.vtf armcNFA_inclTest_9.vtf armcNFA_inclTest_6.vtf armcNFA_inclTest_38.vtf armcNFA_inclTest_33.vtf armcNFA_inclTest_43.vtf armcNFA_inclTest_31.vtf armcNFA_inclTest_34.vtf armcNFA_inclTest_56.vtf armcNFA_inclTest_37.vtf armcNFA_inclTest_30.vtf armcNFA_inclTest_27.vtf armcNFA_inclTest_52.vtf armcNFA_inclTest_12.vtf armcNFA_inclTest_35.vtf armcNFA_inclTest_1.vtf armcNFA_inclTest_3.vtf armcNFA_inclTest_17.vtf armcNFA_inclTest_16.vtf armcNFA_inclTest_47.vtf armcNFA_inclTest_29.vtf armcNFA_inclTest_24.vtf armcNFA_inclTest_20.vtf armcNFA_inclTest_44.vtf armcNFA_inclTest_50.vtf armcNFA_inclTest_18.vtf
armcNFA_inclTest_45.vtf
armcNFA_inclTest_5.vtf
armcNFA_inclTest_10.vtf
armcNFA_inclTest_8.vtf
armcNFA_inclTest_15.vtf
armcNFA_inclTest_40.vtf
armcNFA_inclTest_13.vtf
armcNFA_inclTest_51.vtf
armcNFA_inclTest_19.vtf
armcNFA_inclTest_28.vtf
armcNFA_inclTest_36.vtf
armcNFA_inclTest_46.vtf
armcNFA_inclTest_22.vtf
armcNFA_inclTest_54.vtf
armcNFA_inclTest_32.vtf
armcNFA_inclTest_53.vtf
armcNFA_inclTest_0.vtf
armcNFA_inclTest_14.vtf
armcNFA_inclTest_23.vtf
armcNFA_inclTest_21.vtf
armcNFA_inclTest_59.vtf
armcNFA_inclTest_2.vtf
armcNFA_inclTest_42.vtf
armcNFA_inclTest_58.vtf
armcNFA_inclTest_4.vtf
armcNFA_inclTest_49.vtf
armcNFA_inclTest_39.vtf
armcNFA_inclTest_26.vtf
armcNFA_inclTest_7.vtf
armcNFA_inclTest_25.vtf
armcNFA_inclTest_41.vtf
armcNFA_inclTest_55.vtf
armcNFA_inclTest_57.vtf
armcNFA_inclTest_11.vtf
armcNFA_inclTest_48.vtf
armcNFA_inclTest_9.vtf
armcNFA_inclTest_6.vtf
armcNFA_inclTest_38.vtf
armcNFA_inclTest_33.vtf
armcNFA_inclTest_43.vtf
armcNFA_inclTest_31.vtf
armcNFA_inclTest_34.vtf
armcNFA_inclTest_56.vtf
armcNFA_inclTest_37.vtf
armcNFA_inclTest_30.vtf
armcNFA_inclTest_27.vtf
armcNFA_inclTest_52.vtf
armcNFA_inclTest_12.vtf
armcNFA_inclTest_35.vtf
armcNFA_inclTest_1.vtf
armcNFA_inclTest_3.vtf
armcNFA_inclTest_17.vtf
armcNFA_inclTest_16.vtf
armcNFA_inclTest_47.vtf
armcNFA_inclTest_29.vtf
armcNFA_inclTest_24.vtf
armcNFA_inclTest_20.vtf
armcNFA_inclTest_44.vtf
armcNFA_inclTest_50.vtf
armcNFA_inclTest_18.vtf